An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica

نویسندگان

  • Wladimir Schamai
  • Lena Buffoni
  • Nicolas Albarello
  • Pablo Fontes De Miranda
  • Peter Fritzson
چکیده

Building complex systems from models that have been developed separately without modifying existing code is a challenging task faced on a regular basis in multiple contexts including design verification. To address this issue an approach has been developed for automating dynamic system model composition by defining the minimum set of information that is necessary to the composition process. In this paper a design and implementation of this approach for standard Modelica is presented in the context of an application case study – the verification of a new design for spoiler activation against requirements.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Composition of XML Dialects: A ModelicaXML Case Study

This paper investigates how software composition and transformation can be applied to domain specific languages used today in modeling and simulation of physical systems. More specifically, we address the composition and transformation of the Modelica language. The composition targets the ModelicaXML dialect which is the XML representation of the Modelica language. By extending the COMPOST conc...

متن کامل

Expressing Requirements in Modelica

As cyber-physical systems grow increasingly complex, the need for methodologies and tool support for an automated requirement verification process becomes evident. Expressing requirements in a computable form becomes a crucial step in defining such a process. The equation based declarative nature of the Modelica language makes it an ideal candidate for modeling a large subset of system requirem...

متن کامل

An automatic test case generator for evaluating implementation of access control policies

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...

متن کامل

A Data Mining approach for forecasting failure root causes: A case study in an Automated Teller Machine (ATM) manufacturing company

Based on the findings of Massachusetts Institute of Technology, organizations’ data double every five years. However, the rate of using data is 0.3. Nowadays, data mining tools have greatly facilitated the process of knowledge extraction from a welter of data. This paper presents a hybrid model using data gathered from an ATM manufacturing company. The steps of the research are based on CRISP-D...

متن کامل

Merging partial system behaviours: composition of use-case automata

Modeling the behavior of a system under development has proven to be a very effective way to ensure that it will be constructed correctly. However, building up this model is a difficult task that requires a significant time investment in and a high level of expertise. Consequently, incremental approaches that construct a system model from partial behavioral descriptions have been widely adopted...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016